The Anatomy of Innocence Revisited
نویسندگان
چکیده
We refine previous analyses of Hyland-Ong game semantics and its relation to λand λμ-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.
منابع مشابه
Probable Innocence Revisited
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze critically two different definitions of probable innocence from the literature. The first one, corresponding to the property that Reiter and Rubin have proved for Crowds, aims at limiting the probability of detection. The seco...
متن کاملSubstitution Effects: A Problematic Justification for the Third-Party Doctrine of the Fourth Amendment
INTRODUCTION ................................................................................... 613 I. THE THIRD-PARTY DOCTRINE AND SUBSTITUTION EFFECTS .................................................................................... 614 II. DESCRIPTIVE PROBLEMS WITH SUBSTITUTION EFFECTS .... 616 A. Criminal Motivation: The Supreme Court and Substitution Effects ..............................
متن کاملEthical-Legal Requirements of the Police Regarding the Principle of Innocence in Drug Crimes in the Light of Criminal Psychology
Background: Nowadays, drug crimes have been recognized as one of the criminal acts whose effects generally affect the community, so in order to have a fair trial, the principle of innocence was considered in the process of investigating drug crimes. Given the rule of ethics over the law and their two-way relationship, it is necessary to have special requirements governing the institution of cri...
متن کاملQUICKSELECT Revisited
We give an overview of the running time analysis of the random divide-and-conquer algorithm FIND or QUICKSELECT. The results concern moments, distribution of FIND’s running time, the limiting distribution, a stochastic bound and the key: a stochastic fixed point equation.
متن کاملThe “Man with Serpents” revisited. On a Figurated Pin from the Bronze Age Site of Shahdad (Kerman, Iran)
We discuss a figured pin from Shahdad, previously well known but published with a partial and unsatisfactory drawing. More detailed observations and a new, more realistic recording of this important artifact reconsider its stylistic and iconographic links with the imagery of the Halil Rud civilization and the eastern Iranian Plateau in general, and, at its opposite cultural poles, with Mesopot...
متن کامل